Diagrammatic Reasoning about Allen's Interval Relations
نویسنده
چکیده
we explore different ways in which a computational model of diagrammatic reasoning can capture imagery experiences which subjects reported in an experiment on spatial reasoning. The algorithmic reconstruction of this particular reasoning process suggests that computational models of diagrammatic reasoning should be formulated at different levels of abstraction. Four levels are distinguished ordinal positioning, metrical positioning, pictorial merging and object depiction. Finally, consequences for the computational modelling of individual differences in imagery are discussed.
منابع مشابه
Diagrammatic Representation for a Space of Intervals
The paper presents a two-dimensional graphical representation for the space of intervals and interval relations. It consists of the representation of the space of all intervals (the IS-diagram), and two diagrammatic representations of the space of relations between intervals: the W-diagram (based on the IS-diagram), and lattice diagram (for the neighbourhood lattice of the set of basic relation...
متن کاملDiagrammatic Representation for Interval Arithmetic
The paper presents a diagrammatic representation of a standard interval space (the so-called MR-diagram), and shows how to represent and perform interval arithmetic and derive its various properties using the diagram. The representation is an extension and refinement of the IS-diagram representation devised earlier by the author to represent interval relations. First, the MR-diagram is defined ...
متن کاملMaximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
We present a general method for proving tractability of reasoning over disjunctions of jointly exhaustive and pairwise disjoint relations. Examples of these kinds of relations are Allen's temporal interval relations and their spatial counterpart, the R.CC8 relations by Randell, Cui, and Colin. Applying this method does not require detailed knowledge about the considered relations; instead, it i...
متن کاملReasoning about Temporal Relations : A Maximal Tractable Subclassof
We introduce a new subclass of Allen's interval algebra we call \ORD-Horn subclass," which is a strict superset of the \pointisable subclass." We prove that reasoning in the ORD-Horn subclass is a polynomial-time problem and show that the path-consistency method is suucient for deciding satissability. Further, using an extensive machine-generated case analysis, we show that the ORD-Horn subclas...
متن کاملOn Non-Binary Temporal Relations
I present a new approach towards temporal reasoning that generalizes from the temporal relations commonly used in Allen's qualitative interval calculus and in quantitative temporal constraint satisfaction problems and includes interval relations with distances, temporal rules and other non-binary relations into the reasoning scheme. Moreover, I investigate how several factors underlying my gene...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002